(define-module (python-mypy-extensions)
#:use-module (guix packages)
#:use-module (gnu packages python-xyz)
#:use-module (gnu packages sphinx)
#:use-module (gnu packages check)
#:use-module (guix utils)
#:use-module (gnu packages python)
#:use-module (guix download)
#:use-module (guix licenses)
#:use-module (guix build-system python))

(define-public python-mypy-extensions
  (package
    (name "python-mypy-extensions")
    (version "0.4.3")
    (source
      (origin
        (method url-fetch)
        (uri (pypi-uri "mypy-extensions" version))
        (sha256
          (base32
            "1a04qsk8hd1lqns8w1j7cr0vmvbhg450di5k1i16kqxkbf7q30id"))))
    (build-system python-build-system)
    ;;(propagated-inputs
    ;;  `(("python-typing" ,python-typing)))
    (home-page
      "https://github.com/python/mypy_extensions")
    (synopsis
      "Experimental type system extensions for programs checked with the mypy typechecker.")
    (description
      "Experimental type system extensions for programs checked with the mypy typechecker.")
    (license #f)))

python-mypy-extensions
